- idUS
- Browsing by Author
Browsing by Author "Tudose, Cristina"
Now showing items 1-3 of 3
-
Presentation
Formal Verification of P Systems with Active Membranes through Model Checking
Ipate, Florentin; Lefticaru, Raluca; Pérez Hurtado de Mendoza, Ignacio; Pérez Jiménez, Mario de Jesús; Tudose, Cristina (Springer, 2011)Formal verification of P systems using model checking has attracted a significant amount of research in recent years. ...
-
Presentation
Towards an Integrated Approach for Model Simulation, Property Extraction and Veri cation of P Systems
Lefticaru, Raluca; Ipate, Florentin; Valencia Cabrera, Luis; Turcanu, Adrian; Tudose, Cristina; Gheorgue, Marian; Pérez Jiménez, Mario de Jesús; Niculescu, Ionut Mihai; Dragomir, Ciprian (Fénix Editora, 2012)This paper presents an integrated approach for model simulation, property extraction and formal veri cation of P systems, ...
-
Presentation
Towards Automated Verification of P Systems Using Spin
Lefticaru, Raluca; Tudose, Cristina; Ipate, Florentin (Fénix Editora, 2011)This paper presents an approach to P systems verification using the Spin model checker. A tool which implements the ...